Forschungsdatenbank der Universität in Tübingen

Computeralgebra

Tel./ Fax.:

• Effizientes symbolisches und algebraisches Rechnen (1990-92)

  ---

• Algebraische Algorithmen (1994-96)
• Effiziente Termersetzung (1994-96)
• Intervallanalyse (1994-96)
• Open System for Computer Algebra Research (OSCAR-Projekt) (1994-96)
• Verifikation in Algebraischen Spezifikationen (1994-96)

HOME SUCHEN KONTAKT LINKS